Dine, Jani: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Study on the Structure of Γ-Semihypergroups

Hila, Kostaq, Davvaz, Bijan, Dine, Jani

Journal:

Communications in Algebra

Year:

2012

Language:

english

File:

PDF, 180 KB

english, 2012

2

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Complexity of probabilistic versus deterministic automata

Bārzdinš, Janis, Bjørner, Dines

Year:

1991

Language:

english

File:

PDF, 2.24 MB

english, 1991

3

On Green’s relations, 20-regularity and quasi-ideals in Γ-semigroups

Hila, Kostaq, Dine, Jani

Journal:

Acta Mathematica Sinica, English Series (Springer)

Year:

2013

Language:

english

File:

PDF, 255 KB

english, 2013

4

ON THE STRUCTURE OF GREEN'S RELATIONS IN BQ − Γ-SEMIGROUPS

Hila, Kostaq, Dine, Jani

Journal:

Annals of the Alexandru Ioan Cuza University - Mathematics

Year:

2014

Language:

english

File:

PDF, 105 KB

english, 2014

5

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Inductive inference of recursive functions: Qualitative theory

Bārzdinš, Janis, Bjørner, Dines

Year:

1991

Language:

english

File:

PDF, 1.96 MB

english, 1991

6

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Toward knowledge-based specifications of languages

Bārzdinš, Janis, Bjørner, Dines

Year:

1991

Language:

english

File:

PDF, 607 KB

english, 1991

7

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || The programming system PRIZ

Bārzdinš, Janis, Bjørner, Dines

Year:

1991

Language:

english

File:

PDF, 968 KB

english, 1991

8

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Inductive synthesis of dot expressions

Bārzdinš, Janis, Bjørner, Dines

Year:

1991

Language:

english

File:

PDF, 2.82 MB

english, 1991

9

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Inductive inference of recursive functions: Complexity bounds

Bārzdinš, Janis, Bjørner, Dines

Year:

1991

Language:

english

File:

PDF, 2.15 MB

english, 1991

10

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Type-theoretical semantics of some declarative languages

Bārzdinš, Janis, Bjørner, Dines

Year:

1991

Language:

english

File:

PDF, 561 KB

english, 1991

11

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Using resolution for deciding solvable classes and building finite models

Bārzdinš, Janis, Bjørner, Dines

Year:

1991

Language:

english

File:

PDF, 1.58 MB

english, 1991

12

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Rigal — a programming language for compiler writing

Bārzdinš, Janis, Bjørner, Dines

Year:

1991

Language:

english

File:

PDF, 1.44 MB

english, 1991

13

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus

Bārzdinš, Janis, Bjørner, Dines

Year:

1991

Language:

english

File:

PDF, 1.75 MB

english, 1991

14

Regularity in terms of Hyperideals

Hila, Kostaq, Davvaz, Bijan, Naka, Krisanthi, Dine, Jani

Journal:

Chinese Journal of Mathematics

Year:

2013

Language:

english

File:

PDF, 1.83 MB

english, 2013

15

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Aggregate approach for specification, validation, simulation and implementation of computer network protocols

Bārzdinš, Janis, Bjørner, Dines

Year:

1991

Language:

english

File:

PDF, 1.57 MB

english, 1991

16

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Some models of inductive syntactical synthesis from sample computations

Bārzdinš, Janis, Bjørner, Dines

Year:

1991

Language:

english

File:

PDF, 1.80 MB

english, 1991

17

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Automatic construction of test sets: Theoretical approach

Bārzdinš, Janis, Bjørner, Dines

Year:

1991

Language:

english

File:

PDF, 3.78 MB

english, 1991

18

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Automatic construction of test sets: Practical approach

Bārzdinš, Janis, Bjørner, Dines

Year:

1991

Language:

english

File:

PDF, 3.01 MB

english, 1991

19

On Hyperideals in Left Almost Semihypergroups

Hila, Kostaq, Dine, Jani

Journal:

Year:

2011

File:

PDF, 1.81 MB

2011